PMAN4
SEL@KIT
著者: Armin Biere
  • 研究期間: 2015 - 2016
  • 総文献数: 2
年別の文献数
  • プレプリント
  • 著書
  • 翻訳
  • 学術論文誌(査読付)
  • 国際会議(査読付)
  • 国際会議 (Journal First)
  • 国内会議(査読付)
  • 記事
  • テクニカルレポート
  • 研究会・全国大会等
  • 学位論文
  • 講演等
  • 受賞
  • 特許
カテゴリ別の文献数
研究キーワード
designautomotiveenginecontrolsoftwarecombinatorialformalspecificationdataformatsuser-friendlyinterfacescasecoresgenerationgreedytestunsatisfiableincrementaloptimizationsatsolvingtesting
文献一覧
2016
国際会議(査読付)

[1] Akihisa Yamada, Armin Biere, Cyrille Artho, Takashi Kitamura, and Eun-Hye Choi, "Greedy Combinatorial Test Case Generation using Unsatisfiable Cores", Proc. of 31st IEEE/ACM International Conference on Automated Software Engineering (ASE 2016), September 2016.

2015
国際会議(査読付)

[1] Akihisa Yamada, Takashi Kitamura, Cyrille Artho, Eun-Hye Choi, Yutaka Oiwa, and Armin Biere, "Optimization of Combinatorial Testing by Incremental SAT Solving", Proc. of the IEEE International Conference on Software Testing, Verification, and Validation (ICST2015), April 2015.

Copyright © 2025 omzn.aquatan.net a.k.a. Osamu Mizuno All rights reserved.

ここのリストで表示される文献は，SEL@KIT在籍者に関連するもののみになります．